Capability Safe Reflection for the Wyvern Language
نویسندگان
چکیده
Reflection allows a program to examine and even modify itself, but its power can lead to violations of encapsulation and even security vulnerabilities. The Wyvern language leverages static types for encapsulation and provides security through an object capability model. We present a design for reflection in Wyvern which respects capability safety and type-based encapsulation. This is accomplished through a mirror-based design, with the addition of a mechanism to constrain the visible type of a reflected object. In this way, we ensure that the programmer cannot use reflection to violate basic encapsulation and security guarantees.
منابع مشابه
A Capability-Based Module System for Authority Control (Artifact)
This artifact is intended to demonstrate the module system of the Wyvern programming language and consists of a Linux virtual machine with a snapshot of the Wyvern programming language’s codebase. The Wyvern codebase contains a test suite that corresponds to the code examples in the paper accompanying the artifact. In addition, the artifact contains a document describing how to compile and run ...
متن کاملA Theory of Tagged Objects (Artifact)
A compiler and interpreter for Wyvern programming language written in Java and hosted on http://github.com/wyvernlang/wyvern and some sample programs (.wyv) including the main example from the paper in borderedwindow.wyv. We also include an extract of all the unit tests of which a large number may be designed to fail – therefore they are best run using JUnit which can be done by checking out th...
متن کاملA Capability-Based Module System for Authority Control
The principle of least authority states that each component of the system should be given authority to access only the information and resources that it needs for its operation. This principle is fundamental to the secure design of software systems, as it helps to limit an application’s attack surface and to isolate vulnerabilities and faults. Unfortunately, current programming languages do not...
متن کاملAn investigation into the relationship among EFL teachers’ reflection, classroom management orientations, and perceptions of language learning strategies and students’ L2 achievement
The present study was conducted to investigate the relationship among three important teacher variables and students’ L2 achievement. To this end, 105 high school EFL teachers from Shiraz and Hamadan were asked to fill out three sets of instruments: the reflective teaching instrument, (Akbari, Behzadpour & Dadvand, 2010), the Attitudes and Beliefs on Classroom Control Inv...
متن کاملA Reflection on Kristeva's Approach to the Structure of Language
Reaching out to history and subject in terms of meaning variation, Kristeva could show that language cannot simply be a Saussurean sign system. Rather, she went on to delineate that language, beyond signs, is associated with a dynamic system of signification where the ''speaking subject'' is constantly involved in processing. Julia Kristeva, a French critic, psychoanalyst, theoretician, a post-...
متن کامل